int problem_77();
